Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โ๏ธInference Rules
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
๐Go Generics
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐Category Theory
Flag this post
A Three-Stage Bayesian Transfer Learning Framework to Improve Predictions in Data-Scarce Domains
arxiv.orgยท16h
โจEffect Inference
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.comยท11h
๐ญErlang OTP
Flag this post
I built a symbolic reasoning system without language or training data. Iโm neurodivergent and not a developer โ just hoping someone can tell me if this makes se...
๐ฏFinite Automata
Flag this post
From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
Reflection for Aggregates (2020)
๐๏ธType Indexing
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
๐Borrowing Extensions
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท16h
๐ฑMinimal ML
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Dependent Haskell
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
๐ฏPattern Matching
Flag this post
Causal graph inference with adaptive dynamic structure learning for mechanism-oriented fault diagnosis in dynamic industrial systems
sciencedirect.comยท1d
๐Graph Rewriting
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.orgยท16h
โกPartial Evaluation
Flag this post
Loading...Loading more...